On computer-assisted proving the existence of periodic and bounded orbits Journal title: Annales Mathematicae Silesianae Authors: Roman Srzednicki Subject(s): Mathematics, Science